verification condition generator造句

Methods have been proposed to use the operational semantics of machine languages to automatically generate verification condition generators.
After a verification condition generator has created the verification conditions they are passed to an automated theorem prover, which can then formally prove the correctness of the code.
A "'verification condition generator "'is a common sub-component of an automated program verifier that synthesizes formal verification conditions by analyzing a program's source code using a method based upon Hoare logic.
It's difficult to find verification condition generator in a sentence. 用verification condition generator造句挺难的